Reliability Analysis for Unreliable FSM Computations
نویسندگان
چکیده
منابع مشابه
Undecidable Problems in Unreliable Computations
Department of Computer Science, University of Edinburgh, JCMB, Edinburgh EH9 3JZ, UK. e-mail: [email protected] Abstract. Lossy counter machines are defined as Minsky n-counter machines where the values in the counters can spontaneously decrease at any time. While termination is decidable for lossy counter machines, structural termination (termination for every input) is undecidable. This und...
متن کاملUnreliable Intrusion Detection in Distributed Computations
Distributed coordination is diicult, especially when the system may suuer intrusions that corrupt some component processes. In this paper we introduce the abstraction of a failure detector that a process can use to (imperfectly) detect the corruption (Byzantine failure) of another process. In general, our failure detectors can be unreliable, both by reporting a correct process to be faulty or b...
متن کاملEstimation of Network Reliability for a Fully Connected Network with Unreliable Nodes and Unreliable Edges using Neuro Optimization
In this paper it is tried to estimate the reliability of a fully connected network of some unreliable nodes and unreliable connections (edges) between them. The proliferation of electronic messaging has been witnessed during the last few years. The acute problem of node failure and connection failure is frequently encountered in communication through various types of networks. We know that a ne...
متن کاملThe Reliability of Reasoning with Unreliable Arguments
In this paper, the well known mathematical theory of evidence (Shafer, 1976) will be considered from a point of view which is di erent from usual. Simple belief functions (hints) will be regarded as arguments which are not fully reliable (Kohlas, 1989). This implies that the construction of argumentation chains for a particular hypothesis will have limited reliability. Since there are usually m...
متن کاملAchieving Complexity and Reliability on Unreliable Platforms
As the density of electronic devices increases, traditional design techniques fail to fully utilise the expanding resource. How can the design community utilise the design capacity that technology is offering and at the same time ensure its correctness? A further problem facing the design community is that yield rates are falling due to the increasing complexity of modern chips. How can we impr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Architecture and Code Optimization
سال: 2020
ISSN: 1544-3566,1544-3973
DOI: 10.1145/3377456